881. Integrating Routing Decisions in Public Transportation Problem
پدیدآورنده : / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer software,Civil engineering,Mathematics,Operations Research, Management Science,Civil Engineering,Algorithm Analysis and Problem Complexity
رده :
E-BOOK
882. Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Mathematics-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
9
.
M35
.
I567
1995
883. Intelligent Computer Mathematics
پدیدآورنده : \ [Edited by] Manfred Kerber...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Artificial intelligence -- Mathematics -- Congresses,کامپیوتر -- ریاضیات -- کنگره ها,هوش مصنوعی -- ریاضیات -- کنگره ها
رده :
QA76
.
9
.
M35I58
2015
E-Book
,
884. Intelligent Computer Mathematics
پدیدآورنده : \ [Edited by] Herman Geuvers...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses. ,Artificial intelligence -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,هوش مصنوعی -- ریاضیات -- کنگره ها
رده :
E-Book
,
885. Intelligent Computer Mathematics
پدیدآورنده : \ Michael Kohlhase ... [et.al], (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses,Artificial intelligence -- Mathematics,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,هوش مصنوعی -- ریاضیات
رده :
E-Book
,
886. Intelligent Optimisation Techniques: Genetic Algorithms, Tabu Search, Simulated Annealing and Neural Networks
پدیدآورنده : Pham, D. T.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Engineering-- Data processing,، Computer-aided engineering,، Heuristic programming,، Genetic algorithms,، Simulated annealing )Mathematics(,، Neural networks )Computer science(
رده :
TA
345
.
P54
2000
887. Intelligent Routines II
پدیدآورنده : \ George A. Anastassiou, Iuliana F. Iatan
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering,مهندسی,a04,a04,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
E-Book
,
888. Intelligent computer mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
889. Intelligent computer mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
890. Intelligent computer mathematics :
پدیدآورنده : Cezary Kaliszyk [and 3 others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics, Congresses.,Computer science-- Mathematics, Congresses.,Artificial intelligence-- Mathematics.,Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
C53
2019
891. Intelligent computer mathematics
پدیدآورنده : Johan Jeuring .. [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
A35
2012eb
892. Intelligent computer mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
893. Interactions between computational intelligence and mathematics.
پدیدآورنده : László T. Kóczy, Jesús Medina-Moreno, Eloísa Ramírez-Poussa, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational intelligence-- Mathematics.,Artificial intelligence.,Computer science.,Engineering.
رده :
Q342
.
I58
2019
894. Interactive models of computation and program behavior
پدیدآورنده : Pierre-Louis Curien...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Computable functions,، Computational intelligence
رده :
QA
3
.
P3
No
.
27
895. Introduction to Cryptography
پدیدآورنده : by Johannes A. Buchmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data structures (Computer science).,Mathematics.,Number theory.
896. Introduction to Discrete Mathematics with ISETL
پدیدآورنده : / William E. Fenton, Ed Pubinsky
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Mathematics,Computer science-- Mathematics,ISETL (Computer program bnguage)
رده :
511
.
3078
F342i
897. Introduction to Lattice Theory with Computer Science Applications
پدیدآورنده : \ Vijay K. Garg
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science-- Mathematics.,Engineering mathematics.,Lattice theory.,علوم کامپیوتر -- ریاضیات ,مهندسی -- ریاضیات ,نظریه شبکه ( لاتیس)
رده :
QA
76
.
9
.
G32I5
2015
E-Book
,
898. Introduction to Maple
پدیدآورنده : by André Heck.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer graphics.,Computer science-- Mathematics.,Computer science.,Mathematics.
899. Introduction to Mathematical Systems Theory: Discrete Time Linear Systems, Control and Identification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Statistics / General ; SCIENCE / System Theory ; &COMPUTERS / Computer Science ; Mathematics ; MATHEMATICS / Applied ; MATHEMATICS / Probability
